Optimizing Event-Driven Simulations

Event-driven molecular dynamics is a valuable tool in condensed and soft matter physics when particles can be modeled as hard objects or more generally if their interaction potential can be modeled in a stepwise fashion. Hard spheres model has been indeed widely used both for computational and theoretical description of physical systems. Recently further developments of computational techniques allow simulations of hard rigid objects of generic shape. In present paper we will present some optimizations for event-driven simulations that offered significant speedup over previous methods. In particular we will describe a generalization of well known linked list method and an improvement on nearest neighbor lists method recently proposed by us.Comment: Submitted to Comp. Phys. Comm. Special Issue for CCP201

CaSPiS: A Calculus of Sessions, Pipelines and Services

Service-oriented computing is calling for novel computational models and languages with well disciplined primitives for client-server interaction, structured orchestration and unexpected events handling. We present CaSPiS, a process calculus where the conceptual abstractions of sessioning and pipelining play a central role for modelling service-oriented systems. CaSPiS sessions are two-sided, uniquely named and can be nested. CaSPiS pipelines permit orchestrating the flow of data produced by different sessions. The calculus is also equipped with operators for handling (unexpected) termination of the partner’s side of a session. Several examples are presented to provide evidence of the flexibility of the chosen set of primitives. One key contribution is a fully abstract encoding of Misra et al.’s orchestration language Orc. Another main result shows that in CaSPiS it is possible to program a “graceful termination” of nested sessions, which guarantees that no session is forced to hang forever after the loss of its partner

Cognition-Based Networks: A New Perspective on Network Optimization Using Learning and Distributed Intelligence

IEEE Access Volume 3, 2015, Article number 7217798, Pages 1512-1530 Open Access Cognition-based networks: A new perspective on network optimization using learning and distributed intelligence (Article) Zorzi, M.a , Zanella, A.a, Testolin, A.b, De Filippo De Grazia, M.b, Zorzi, M.bc a Department of Information Engineering, University of Padua, Padua, Italy b Department of General Psychology, University of Padua, Padua, Italy c IRCCS San Camillo Foundation, Venice-Lido, Italy View additional affiliations View references (107) Abstract In response to the new challenges in the design and operation of communication networks, and taking inspiration from how living beings deal with complexity and scalability, in this paper we introduce an innovative system concept called COgnition-BAsed NETworkS (COBANETS). The proposed approach develops around the systematic application of advanced machine learning techniques and, in particular, unsupervised deep learning and probabilistic generative models for system-wide learning, modeling, optimization, and data representation. Moreover, in COBANETS, we propose to combine this learning architecture with the emerging network virtualization paradigms, which make it possible to actuate automatic optimization and reconfiguration strategies at the system level, thus fully unleashing the potential of the learning approach. Compared with the past and current research efforts in this area, the technical approach outlined in this paper is deeply interdisciplinary and more comprehensive, calling for the synergic combination of expertise of computer scientists, communications and networking engineers, and cognitive scientists, with the ultimate aim of breaking new ground through a profound rethinking of how the modern understanding of cognition can be used in the management and optimization of telecommunication network

A QUIC Implementation for ns-3

Quick UDP Internet Connections (QUIC) is a recently proposed transport protocol, currently being standardized by the Internet Engineering Task Force (IETF). It aims at overcoming some of the shortcomings of TCP, while maintaining the logic related to flow and congestion control, retransmissions and acknowledgments. It supports multiplexing of multiple application layer streams in the same connection, a more refined selective acknowledgment scheme, and low-latency connection establishment. It also integrates cryptographic functionalities in the protocol design. Moreover, QUIC is deployed at the application layer, and encapsulates its packets in UDP datagrams. Given the widespread interest in the new QUIC features, we believe that it is important to provide to the networking community an implementation in a controllable and isolated environment, i.e., a network simulator such as ns-3, in which it is possible to test QUIC's performance and understand design choices and possible limitations. Therefore, in this paper we present a native implementation of QUIC for ns-3, describing the features we implemented, the main assumptions and differences with respect to the QUIC Internet Drafts, and a set of examples.Comment: 8 pages, 4 figures. Please cite it as A. De Biasio, F. Chiariotti, M. Polese, A. Zanella, M. Zorzi, "A QUIC Implementation for ns-3", Proceedings of the Workshop on ns-3 (WNS3 '19), Firenze, Italy, 201

Time-lapse monitoring of an electrokinetic soil remediation process through frequency-domain electrical measurements

The electrokinetic (EK) method is an emerging technique for soil remediation, even though a monitoring system of the contaminant removal through geophysical methods has not been developed yet. In this paper, frequency-domain time-lapse measurements are used on heavy-metal contaminated sediments for monitoring an EK remediation process in a small-scale measuring cell. Our goal is to monitor the development of the electrokinetic process within the sediment and to evaluate the total time needed for the treatment. In fact, frequency-domain electrical monitoring provides complex resistivity spectra at different time steps that can be correlated to changes in the physical properties of the sediments. We perform laboratory spectral induced polarization (SIP) measurements on different samples before, during and after the EK treatment, using different electrolyte solutions (acids and tap water), commonly employed in EK remediation. Direct-current measurements (resistivity and chargeability) were also acquired on one sample for testing the reliability of the system by a comparison with a widespread commercial instrumentation for field measurements. Results indicate that resistivity is a diagnostic parameter as long as it is linked to changes in water saturation, pH and ionic concentration and not to the percentage of metal extraction. The resistivity exhibited well-defined signatures as a function of time that changes depending on the conditioning agent and the grain size distribution. These peculiarities were used to understand the physical processes occurring within the cell and consequently to assess the effectiveness of the electrokinetic treatment. Conversely, the polarization effect was negligible using acids as conditioning agents at the electrolyte chambers. Therefore, the SIP method is not effective under these conditions, being the polarization effect significant only when tap water was used at both ends of the measuring cell. In this case, we were able to correlate changes in water saturation with the time-shift observed on relaxation time distributions (RTDs) after inversion of SIP data and to observe, using normalized chargeability, that polarization is stronger at high pH values. On these basis, resistivity is suitable to monitor the development of the remediation, to optimise the energy levels required for treatment and to assess the end time of the EK process (time when metal mobilization ends). In fact, the end time of treatment can be associated with the time at which resistivity becomes stable. This time is highly dependent on the particular working conditions and sediment grain size as demonstrated by our experiments

Focusing on soil-foundation heterogeneity through high-resolution electrical and seismic tomography

The reconstruction of the current status of a historic building is essential for seismic safety assessment and for designing the retrofitting interventions since different safety and confidence factors have to be assumed, depending on the level of information about the subsoil structure. In this work, we present an investigation of the shallow subsurface below and around a historic building affected by differential settlements in order to define its geometry and to characterise its stiffness at low strain. To this end, we employed high-resolution electrical resistivity and seismic (both P-wave and S-wave) tomographies. A three-dimensional electrical resistivity tomography survey was performed to obtain more information about the type and the maximum depth of the building foundation. Electrical resistivity and seismic tomographies were carried out alongside the building, aimed at imaging the top soils and the near-surface geometry. The corresponding inverted models pointed out a remarkable heterogeneity of the shallow subsoil below the building, which is partly founded on a weathered layer and partly on a more rigid lithotype. This heterogeneity is probably a concurrent cause of the building's instability under both static and seismic loading. Our results demonstrate that the man-made fillings and the top soils have to be thoroughly investigated to fully understand the soil-structure behaviour. In this light, the integration of non-invasive high-resolution geophysical techniques, especially tomographic methods, has been proved to properly address the problem of imaging the shallow subsoil

The helicity modulus in gauge field theories

We consider the 4d compact U(1) theory with Wilson action and characterize its phase diagram using the notion of electromagnetic flux, instead of the more usual magnetic monopole. Taking inspiration from the flux picture, we consider the helicity modulus (h.m.) for this theory, and show that it is an order parameter for the confinement deconfinement phase transition. We extend the definition of the h.m. to an Abelian projected Yang-Mills theory, and discuss its behavior in SU(2).Comment: talk given by Michele Vettorazzo at Lattice2003(topology